12.77/12.87	unsat
