13.35/13.44	unsat
