15.75/18.94	unsat
