30.53/31.27	unsat
