27.91/29.54	unsat
