31.22/31.54	unsat
