13.84/13.91	unsat
