15.45/18.79	unsat
