5.27/8.42	unsat
