6.48/6.66	unsat
