5.41/6.42	unsat
