12.89/12.97	unsat
