12.87/12.97	unsat
