10.26/10.47	unsat
