13.26/14.40	unsat
