5.69/6.42	unsat
