12.77/12.84	unsat
