5.47/8.65	unsat
