12.56/14.27	unsat
