13.48/14.69	unsat
