18.46/20.71	unsat
