15.85/17.94	unsat
