14.68/18.61	unsat
