5.69/8.41	unsat
