10.96/11.94	unsat
