31.60/31.72	unsat
