10.94/13.79	unsat
