5.40/5.47	unsat
