2.19/2.27	unsat
