12.57/13.53	unsat
