8.45/8.47	unsat
