5.48/8.66	unsat
