13.26/16.20	unsat
