11.87/11.97	unsat
