12.79/16.78	unsat
