5.40/8.42	unsat
