11.87/11.98	unsat
