1.29/3.27	unsat
