10.78/16.19	unsat
