31.53/31.94	unsat
