13.87/14.31	unsat
