11.39/11.49	unsat
