31.41/31.54	unsat
