7.18/10.46	unsat
