13.36/14.36	unsat
