12.77/12.86	unsat
