13.67/13.79	unsat
