30.95/31.65	unsat
