10.26/13.67	unsat
