15.26/18.16	unsat
