5.92/6.46	unsat
