12.56/14.68	unsat
