11.96/14.43	unsat
