27.44/27.54	unsat
