5.69/6.39	unsat
