13.88/16.76	unsat
