7.18/10.56	unsat
