13.26/18.05	unsat
