13.32/14.08	unsat
