8.19/10.45	unsat
