34.81/39.27	unsat
