8.44/8.48	unsat
