13.26/13.44	unsat
