11.26/13.84	unsat
