7.32/13.79	unsat
